Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
741	Realizability and Parametricity in Pure Type Systems Jean-Philippe Bernardy1 and Marc Lasson2 1 2 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-03-04 08:28:39 Type theory Logic in computer science Deduction Mathematical constructivism Realizability Entailment Parametricity Symbol Lambda calculus Logic Mathematical logic Mathematics
742	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 2 This assignment starts on Mon, [removed]and is due on Sun, [removed], 23:59h. We will accept Isabelle .thy files only. Submit using give on a CSE Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Models of computation Map Lambda calculus Type system Software engineering Computing Theoretical computer science
743	Technical Report CSL-97-2R August 1997, Revised March 1999 The Formal Semantics of PVS1 Sam Owre [removed] Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2015-01-13 22:35:40 Model theory Type theory Predicate logic Semantics Data types Prototype Verification System Simply typed lambda calculus First-order logic Type system Logic Mathematical logic Mathematics
744	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 1 Solution Toby Murray August 27, 2014 Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Computability theory Constructible universe Unification Free variables and bound variables Combinatory logic Fixed-point combinator Theoretical computer science Mathematics Mathematical logic
745	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein → Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Proof theory Models of computation Computability theory Lambda calculus Natural deduction Ordinal number Curry–Howard correspondence Symbol Mathematical logic Theoretical computer science Mathematics
746	ProofPower HOL Tutorial Notes PPTex-2.9.1w2.rda[removed]c : Lemma 1 Ltd. 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:50 Formal methods Logic in computer science Theoretical computer science HOL Higher-order logic Lambda calculus D Tutorial First-order logic Logic Mathematics Mathematical logic
747	HOL Formalised: Semantics R.D. Arthan Lemma 1 Ltd. [removed] 25th October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-03-20 12:33:24 Sheaf Function Universe Zermelo–Fraenkel set theory Lambda calculus Constructible universe Mathematics Mathematical logic Algebraic topology
748	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Software engineering Lambda calculus Computing Applied mathematics Adjoint functors Functional programming Monad
749	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein fun Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computability theory Programming idioms Theoretical computer science Computer law Copyleft Recursion Creative Commons Lambda calculus Quicksort Computer programming Computing Open content
750	Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages Chitta Baral Faculty of Computer Science and Engineering Arizona State University Tempe, AZ[removed] Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:53 Logic in computer science Lambda calculus Models of computation Representation theory of Lie groups Computability theory Combinatory logic Knowledge representation and reasoning Natural language processing Ordinal number Theoretical computer science Mathematical logic Mathematics

UPDATE